TSTP Solution File: GEO426^1 by SInE---0.4